1. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
پدیدآورنده : Gerard Berry, Hubert Comon, Alain Finkel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2102
